[executorch] Ignore leading 1 dimensions when checking optimized path for op_mul (#4963)

A 1 x 1 x ... x m x n tensor can be element-wise multiplied with a m x n tensor just fine.

Pull Request resolved: https://github.com/pytorch/executorch/pull/4806

Co-authored-by: Scott Wolchok <swolchok@fb.com>