Hey! One of the authors here, thanks for posting our post. Available for any questions and feedback.

Couldn’t you just disable SIP on mirrord servers?

The part of mirrord that's affected by SIP is the client. This is meant to be run by users on their development machines (we could ask them to disable SIP, but would rather not for obvious reasons).