Implement new stage; add logging to DatabaseVerifier; rework Launcher to use new UI classes