Function: deRegisterOperator()

Should allow deregistration of operators from the AVS.

Branches and code coverage (including function calls)

Intended branches

• Assumes the operator has not been restricted from deregistering after being caught as malicious. Currently not enforced as there is no implementation of the Slasher.

  Test coverage

• Should remove the operator from the operators array as well as remove its pubkey from the _operatorPubkeys mapping.

  Test coverage

Negative behavior

• Should not be callable if the contract is paused. Enforced through the whenNotPaused modifier.

  Test coverage

• Should not be callable if msg.sender is not actually an operator. Enforced through the require statement.

  Test coverage