modified several tests not to use squash, and added a forall value based check