Fix typos.
Merge branch 'master' into gc-proto-v1
Fix RCE-induced test regressions.

This required an RCE bugfix around module handling, and disabling RCE in a few
circumstances -- either the test in question would be altered if RCE was
performed, or else in one case RCE isn't ready to handle a situation (lattice on
RHS).