prove should fail if there are not enough powers

If setup was generated with too small a max_degree, then proving with the resulting powers should fail with a Komodo error.