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

Job	Run time
test-linux (ubuntu-20.04, focal, clang-12, c++11)	10m 1s
test-linux (ubuntu-20.04, focal, clang-12, c++14)	10m 11s
test-linux (ubuntu-20.04, focal, clang-12, c++17)	10m 0s
test-linux (ubuntu-20.04, focal, clang-12, c++20)	10m 17s
test-linux (ubuntu-20.04, focal, gcc-11, c++11)	14m 24s
test-linux (ubuntu-20.04, focal, gcc-11, c++14)	8m 44s
test-linux (ubuntu-20.04, focal, gcc-11, c++17)	9m 14s
test-linux (ubuntu-20.04, focal, gcc-11, c++20)	9m 5s
test-linux (ubuntu-20.04, focal, clang-11, c++11)	10m 13s
test-linux (ubuntu-20.04, focal, gcc-10, c++11)	8m 21s
	1h 40m 30s

Provide feedback