tweaked specs to toggle... Seems like the prover is trying hard with it, but I still can't seem to get it verifying. Sure I
'm missing something...