tests: use new check command directly

Author: leostera

tests/typechecker/case.t

@@ -10,7 +10,7 @@
   > g() -> f(1).
   > 
   > EOF
-  $ caramelc compile --dump-ast case_test.erl
+  $ caramelc check --dump-ast case_test.erl
   ((file_name case_test.erl) (behaviours ()) (module_name (Atom case_test))
     (attributes ())
     (exports (((exp_type Export_function) (exp_name (Atom f)) (exp_arity 1))))

tests/typechecker/fib.t

@@ -6,7 +6,7 @@
   > fib(N) -> erlang:'+'(fib(erlang:'-'(N,1)), fib(erlang:'-'(N,2))).
   > fib() -> fib(no).
   > EOF
-  $ caramelc compile --dump-ast fib.erl
+  $ caramelc check --dump-ast fib.erl
   ((file_name fib.erl) (behaviours ()) (module_name (Atom fib)) (attributes ())
     (exports
       (((exp_type Export_function) (exp_name (Atom fib)) (exp_arity 1))))

tests/typechecker/hello_world.t

@@ -3,7 +3,7 @@
   > -export([hello_world/0]).
   > hello_world() -> print_int(<<"Hello world!">>).
   > EOF
-  $ caramelc compile --dump-ast hello_world.erl
+  $ caramelc check --dump-ast hello_world.erl
   ((file_name hello_world.erl) (behaviours ()) (module_name (Atom hello_world))
     (attributes ())
     (exports

tests/typechecker/typed_send.t

@@ -9,7 +9,7 @@
   > spawn_int(S) -> erlang:spawn(fun () -> loop(S) end).
   > start() -> spawn_int(0) ! {replace, yes}.
   > EOF
-  $ caramelc compile --dump-ast erlang.ml typed_process.erl
+  $ caramelc check --dump-ast erlang.ml typed_process.erl
   ((file_name typed_process.erl) (behaviours ())
     (module_name (Atom typed_process)) (attributes ())
     (exports