hw4 autograder tests full breadth of functionality, still needs to check dummyproofing