Add cerebral

[ericelliott]

Replace the minimal pseudo-store mechanism with cerebral and add documentation about experimenting with the time-travel debugger.

[ericelliott]

@zebulonj Your mission, should you choose to accept it.