Implement domain switching in ConsoleReplInterface and output formatting

Add DefaultSandbox, a default, not unloadable, and privileged sandbox.
Improve output (JSON) formatting and support to modify serializer settings.
Implement "dump limit" feature in ConsoleReplInterface.