added pruning options to ct-verif
added pruning options to ct-verif

Changes for 2 packages (ARGExperimentalSidewinder_bam-bam-boogieman, ARGExperimentalSidewinder_verifying-constatant-time), pushed in snapshot...

  https://code.amazon.com/snapshots/dsn/2017-10-30T18-23-46

Changes for ARGExperimentalSidewinder_bam-bam-boogieman package:

33992346 fine grained control over shadowing assertions

Changes for ARGExperimentalSidewinder_verifying-constatant-time package:

8e3aebc0 fix missing command, add options for s2n-cbc test
fcb7e13e handle shadowing args

cr https://code.amazon.com/reviews/CR-797532

michael-emmi/bam-bam-boogieman,michael-emmi/bam-bam-boogieman