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