option to turn off compile verification
fix #87 tail call optimization bug