Added timeout for compilation / verification.
This is too prevent compilation from taking ridiculously long.