checkNoChanges
assertionsEnabled
Always generate `checkNoChanges` tests, but guard them behind `assertionsEnabled` tests. Closes #4560