We should soon split the test suite into individual files and organize the whole test system better. runtests.jl is exceeding 3000 lines!