The Mario movie was hit with a mid-2023 delay