updated all "assert state" calls for consistency (and more info) in logged messages