IOTA Rebased Empowers Developers with MoveVM’s Static Verification Tools