Release v4.232.1

Fixed

• Proposing and applying changes, and the diagnostics that follow an edit, are much faster on large models. On a 260-file model, propose-source and apply now take about 15 seconds of CPU instead of about a minute and half a minute, and diagnostics after an edit take under a second instead of about five. Checking each command's reads … by no longer resolves every query's read model again for every read, and authoring reference checks no longer scan every declaration for each reference. Results are unchanged. (#949)