revert to calling the build system's 'check' target in CI

This helps us find the murphi-comment-ls binary. We no longer test the installed
binaries, but I think we just have to live with that infidelity.