1) compatable with new rosette 2) print synthesis time to file 3) more bithack benchmarks