Refactor how we construct `ProofOptions` using a builder pattern

[Al-Kindi-0]

          Not for this PR, but we should refactor how we construct `ProofOptions` - maybe it should be more like a builder pattern.

Originally posted by @irakliyk in #363 (comment)