Tests no longer use Check, which should make debugging easier.