move high-level tests into dedicate workflow (#1219)

Makefile

@@ -15,6 +15,7 @@ help:
 	@echo "  format         format source files"
 	@echo "  test           run tests"
 	@echo "  test32         run tests on a 32-bit system"
+	@echo "  test-highlevel run high-level tests"
 	@echo "  lint           run linters"
 	@echo "  bench NAME=n   run bench environment"
 	@echo "  run            run app"