Boogie time limit is now a command line parameter of smack-check.