Benchmark numbers
Fix float bug in checker
Added new ops to prog.py