Add more testcases
Fix interpreter and test bugs surrounding <final> states