Fix changefeed bug, add some debug-mode instrumentation to mailboxes.
Fixed capitalization.