Define rules for additional operations needed for HF model (#80147)
- Edit the constraint interface to also handle a pair `trace.root` and `graph` instead of a graphmodule
- Define all the operations needed for an example HFmodel
- Generate constraints for some of these operations. Those which are still in progress are marked with a todo comment.
The operations we cover in this PR are:
- embedding
- size
- view
- mul
- assert
- getitem
Differential Revision: [D37387596](https://our.internmc.facebook.com/intern/diff/D37387596)
Pull Request resolved: https://github.com/pytorch/pytorch/pull/80147
Approved by: https://github.com/jamesr66a
