Add ABIs to the test matrix; unify many bits of the testsuite