Cache method resolution in visitors ?#2557

feliam wants to merge 3 commits intomastertrailofbits/manticore:masterfrom

dev-visitors-opttrailofbits/manticore:dev-visitors-optCopy head branch name to clipboard