Add --boogie-file option
Add FORCE_NOOVFL option to upsweep/downsweep