got rid of some asserts

This makes proof shorter for a few rows.