Fix bugs and add new testcases, I still don't know why Leon's running time is so much vary in nat8 testcase