Add feature to Chompy that runs expensive tests

[ninehusky]

See this -- for hard tests like bv_not_neg, instead of just ignoring them we should be able to pass a flag that runs them on places where we can let them chug for a while, e.g. GitHub.