Clear budgets in tests

This branch ensures that Budgets are cleared when setting up tests.

Also, it runs through other files and fixes Checkstyle problems.

Finally, this branch makes it so that if Checkstyle detects any problems, it fails the build. This is what the TAs wanted, so it is what we shall do.