Add assertions and clarifying comments to frame lowering code
Fix a test case that assumed a frame pointer