Add log output to `db`.
Split Debugger.Reset() into Debugger.Reset{State,Options}().

E.g. we don't need to reset options when reading in a database.