Mutation-Guided Metamorphic Testing of Optimality in AI Planning