[mlir][tosa] Add verifier for tosa.reverse (#70500)

This patch adds a verifier to tosa.reverse which checks the axis
argument and input/output tensor ranks for validity. We allow a special
case where `axis == 0 && rank == 0`.