Completed basic tests for RunServlet

Also included is a new control-based test utility and fixed formatting for the files I created.