Tests Commented in VerifyInvars -> Any Others to Add?