Database::executeFile() now skips empty files instead of failing.
Changed how the Optimizer handles empty files.
Added a few random assertions to existing tests (mainly on the cleanup step).
Refactored inline bug/fix documentation.