Need an analyzer for validating test blocks have an Execute method

Right now, we only want to support test blocks with one and only one Execute method. We need an analyzer for that.

Eventually there might be a need for multiple Execute methods, or alternative methods. If that ever materializes, we'll need to find a way to update the analyzer, and maybe add some messaging suggesting that test blocks probably should have one and only one execute method to avoid confusion on what's being executed in any given scenario.