Optional Extra Verification using Forves

[alexcere]

The Forves project aims to verify the semantic equivalence of two loop-free fragments of EVM code. We are including an option to verify the solutions found by GASOL using Forves to add an extra layer of ensurance. It will require the Forves binary to be placed in the bin/ folder.