Add revoke-delegate-stx command

[BowTiedRadone]

This PR adds the revoke-delegate-stx command to the stateful property testing environment.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 83.30%. Comparing base (d6047eb) to head (39b9a3c).

Additional details and impacted files

@@                            Coverage Diff                            @@
##           feat/pox-4-stateful-property-testing    #4581       +/-   ##
=========================================================================
+ Coverage                                 71.28%   83.30%   +12.02%     
=========================================================================
  Files                                       456      453        -3     
  Lines                                    331024   328491     -2533     
  Branches                                    317      323        +6     
=========================================================================
+ Hits                                     235958   273655    +37697     
+ Misses                                    95058    54828    -40230     
  Partials                                      8        8               

see 247 files with indirect coverage changes

---

Continue to review full report in Codecov by Sentry.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update d6047eb...39b9a3c. Read the comment docs.

[moodmosaic]

LGTM 👍

[moodmosaic]

This pull request targets #4550 and adds the ability to call revoke-delegate-stx from the stateful property-based tests. Merging into feat/pox-4-stateful-property-testing branch.