Introduce Builder Pattern in `OpProofsExEx` Configuration

### Describe the feature

The `OpProofsExEx` struct currently requires a constructor with a growing list of parameters. This makes the initialization code verbose, hard to read, and difficult to extend without breaking changes. 

### Additional context

_No response_