[shape_poly] Add micro-benchmarks for symbolic shape manipulation.
In some of the cases when we use many symbolic expressions for shapes, the operations with
symbolic expressions are becoming somewhat costly. These benchmarks help with picking
good internal representations.
PiperOrigin-RevId: 604289958
