Procedure Restructuring for Ambitious Optimization. Using demand-driven, partial, and heuristics-guided inlining to improve the scalability of region-based optimization