Add run_tiny and run_medium targets

[luishgh]

Currently runs the test cases from each set and the diffs it with sol file. Must eventually be changed to running the verifier against each output.