add simple-check tests, speed up State hash/equality checks