[GR-18163] Use MethodEntry Assumptions to track whether CoreMethodAssumptions still hold

[GR-18163] Use MethodEntry Assumptions to track whether CoreMethodAssumptions still hold #4640