Add `$check` cell to represent assertions with messages #2860

Job	Run time
test-linux (ubuntu-20.04, focal, clang-12, c++11)	10m 5s
test-linux (ubuntu-20.04, focal, clang-12, c++14)	10m 5s
test-linux (ubuntu-20.04, focal, clang-12, c++17)	10m 7s
test-linux (ubuntu-20.04, focal, clang-12, c++20)	10m 8s
test-linux (ubuntu-20.04, focal, gcc-11, c++11)	23m 14s
test-linux (ubuntu-20.04, focal, gcc-11, c++14)	9m 0s
test-linux (ubuntu-20.04, focal, gcc-11, c++17)	9m 6s
test-linux (ubuntu-20.04, focal, gcc-11, c++20)	9m 7s
test-linux (ubuntu-20.04, focal, clang-11, c++11)	10m 15s
test-linux (ubuntu-20.04, focal, gcc-10, c++11)	8m 26s
	1h 49m 33s

Provide feedback