Add enough checks that spectest passes