specify timeout to solver on the command line

NB due to an LLVM bug this doesn't work until we update our LLVM