Summary: Adds analyzer rule that uses ResolveType machinery from previous diff to set the resolved type for each operator.

Test Plan: Added a test for the rule, but most of the testing is in the previous diff.

Reviewers: #engineering, nserrino

Reviewed By: #engineering, nserrino

Differential Revision: https://phab.corp.pixielabs.ai/D5221

GitOrigin-RevId: cb8106bb168c09548f527e831bf06271bdf0a73e