Remove spurious comments about the need for quantifiers#457

tautschnig wants to merge 4 commits intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom

tautschnig:use-quantifierstautschnig/verify-rust-std:use-quantifiersCopy head branch name to clipboard