Added a number of assertions and must-not-happens with associated log output. Plus some small tweaks, and notes.