Use `Asrt.t` instead of fixes! #1101

Job	Run time
build-docker	7m 56s
build (macos-latest)	15m 43s
build (ubuntu-latest)	16m 26s
kanillian_c_tests (ubuntu-latest)	3m 4s
gillian_js_tests (ubuntu-latest)	3m 12s
gillian_c_tests (ubuntu-latest)	5m 52s
test262 (ubuntu-latest)	35m 36s
collections-c (ubuntu-latest)	2m 25s
deploy-docs	0s
	1h 30m 14s

Provide feedback