Adding vsop87 floating point analysis
Finishing vsop87 proof and adding vsop87 trueness