I have found a solution, in lieu of actually getting the source and writing this feature yourself.

If the XING VBR tag is missing from the vbr mp3 file, why not add it yourself! Then mp3val will fix it if it is incorrect!

First I wanted a tag as correct as possible to add. To do this I re-encoded the file missing the vbr tag with lame using the exact settings of the original code as close as possible. The output should be the same sample rate especially. The file you have created with lame now has a XING VBR tag. The tag is the first 140 characters.

Then I got my handy hex editor and saved the 140 bytes out to a file called xinghdr.bin. Now I have a file that is only a XING header!

This xing header can now be added to an mp3 file by doing a binary copy. In windows:
COPY /B xinghdr.bin vbrmp3file.mp3 fixedvbr.mp3

Now you can run:
mp3val fixedvbr.mp3 -f

It will see that the XING header is there but isn't correct and will fix it! Genius I do say!