A test for using symbolic shapes for minformer.

The actual minformer code is from https://github.com/sholtodouglas/minformer/blob/main/minformer/model_test.py
with as few modifications as possible.

The modifications needed to get the symbolic evaluations to work
are marked with TODO.