Add support for option functions to `CheckRelation`

[babakks]

Description

In JIMM, we sometimes need to enable the trace option when calling the CheckRelation method. To have this option and keep the library compatible with its earlier version, this PR adds support for option functions to CheckRelation method. Also a pre-defined EnableTrace option function is added.

Engineering checklist

Check only items that apply

• [x] Documentation updated
• [x] Covered by unit tests
• [ ] Covered by integration tests

• [ ] Independent change*

  * This is an independent change if it can be merged and released indepently without any related service deployments.

Merging instructions

The preferred way of merging:

• [ ] Merge
• [ ] Squash and Merge
• [ ] Rebase and Merge

[babakks]

@alesstimec @frankban @aaronalphonso @pandrey2003 I close this PR, since we finally decided to go with a simpler approach. Thank you guys for your comments. :heart: