Remove the constraint that tokens cannot be passed as entry parameters in `HloVerifier`. Also fixed some headers.
Remove the constraint that tokens cannot be passed as entry parameters in `HloVerifier`. Also fixed some headers.
