Checkasm: assembly testing and benchmarking tool