bmm and contiguous constraints (#81527)
- Batch matrix multiplication constraints which generate constraints for dimensions according to the rules of batch matrix multiplication
- Contiguous constraints which are just input = output
Pull Request resolved: https://github.com/pytorch/pytorch/pull/81527
Approved by: https://github.com/jamesr66a
