Mutation testing has been performed in this PR, with the only finding being that a single state variable change for user borrow index was not checked in the integration test suite. An integration test has been added to test this state transition in this PR.