Mutable Verification Environments Through Visitor and Dynamic Register Map Configuration