More bug fixes
Add Env version number to State. Finally we start to get some meaningful performance numbers.
There should be more bugs hiding. In particular, check the bitcodes that are optimized with -O2