bb should automatically generate a verification key for a circuit if one is not provided

[TomAFrench]

See PR comment at link.

We often need to manually generate a vk just to feed it back into bb. This is useful to avoid recomputing the same vk many times but it also reduces UX for small programs where the speed benefits aren't really necessary.