feat: type RuleTester#verify API

[nikku]

This gives users a chance for auto-completion as they implement their rule tests.

Proposed Changes

Checklist

To ensure you provided everything we need to look at your PR:

• Brief textual description of the changes present
• Visual demo attached
• Steps to try out present, i.e. using the @bpmn-io/sr tool
• Related issue linked via Closes {LINK_TO_ISSUE} or Related to {LINK_TO_ISSUE}