cosmetics: Reformat checkasm tests