Add support for direct proving function invocation

[d0nutptr]

1. Determine if allowing the developer to call the proving function directly on the ConstraintT is a good, ergonomic idea
2. Implement support for this.