Unit test edge cases: programs that don't have the right size/arguments #10
Description
There are some obvious forgotten branches that are missing: most of the branches for checking that the program size is somewhat valid are not being tested at all:
Could probably just have a "program_size_sanity_tests.cpp" file with all these edge cases.