Loop unroll is now a command line parameter to smack-check.