Revert "Should fix non-hashable error"

This reverts commit ad45ef741b35dd220a9ecc2e782cfac4a8ebae67.
Revert "Fix typo variable name"

This reverts commit b7d4da3f02fdbb693742b2fc0edf63b23de5ca41.
Revert "Add invariant check names to "check_everything""

This reverts commit 2d35ba73374fcc54fe905e87e037009a714d08a8.