Separate <name>_run tests in shell scripts and invoke them from the Github action

This way, we'll be able to implement more checks without having to grow the Github action specification too much.

Candidate check: Enforce an external timeout when running the fuzzer with the --timeout flag, using for example the "timeout" Bash command.