Option 3, but considering Martinet does Mario and Luigi and Wario and Waluigi among other characters they would need to find 1 person that can seamlessly do all of them (unlikely) or hire multiple people.
An alternative is for them to use the cast of the Mario movie depending on how well it does but I'd rather not have this option
An alternative is for them to use the cast of the Mario movie depending on how well it does but I'd rather not have this option