Ensure that both Idris process and the idris repl buffer is up and running,
before calling Check.

This was not the case for C-u C-c C-t... now there is a common entry point which reduces code duplication