sprinkle Optimize Proof and Optimize Heap

[andres-erbsen]

Let's see how it fares on master

cc #1434

[JasonGross]

Did you mean to bump rupicola in this PR?

[andres-erbsen]

194m10.68s | 2677972 ko | Total Time / Peak Mem                                                                                         
----------------------------------------------------------------------------------------------------------------------------------------
  7m19.66s | 2677972 ko | Bedrock/Field/Synthesis/Examples/p224_64_new.vo                                                               
  4m20.70s | 2517784 ko | rupicola/bedrock2/compiler/src/compiler/FlatToRiscvFunctions.vo                                               
  4m08.58s | 2462736 ko | Assembly/WithBedrock/Proofs.vo                                                                                
 10m14.75s | 2323252 ko | Bedrock/End2End/X25519/GarageDoor.vo                                                                          
  1m56.14s | 2317296 ko | Fancy/Barrett256.vo                                                                                           
  1m19.85s | 2248080 ko | ExtractionOCaml/with_bedrock2_word_by_word_montgomery                                                         
  1m21.03s | 2244188 ko | ExtractionOCaml/bedrock2_word_by_word_montgomery                                                              
  1m18.98s | 2214672 ko | ExtractionOCaml/word_by_word_montgomery                                                                       
  1m11.19s | 2181904 ko | ExtractionOCaml/unsaturated_solinas                                                                           
  1m14.83s | 2181004 ko | ExtractionOCaml/with_bedrock2_unsaturated_solinas                                                             
  1m14.84s | 2180652 ko | ExtractionOCaml/bedrock2_unsaturated_solinas                                                                  
  1m37.83s | 2139244 ko | SlowPrimeSynthesisExamples.vo                                                                                 
  2m44.38s | 2108868 ko | rupicola/bedrock2/compiler/src/compiler/FlatToRiscvMetric.vo                                                  
  6m49.16s | 2103800 ko | Curves/Weierstrass/AffineProofs.vo                                                                            
  1m09.00s | 2096548 ko | ExtractionOCaml/bedrock2_base_conversion                                                                      
  1m09.01s | 2094744 ko | ExtractionOCaml/with_bedrock2_base_conversion                                                                 
  2m37.30s | 2071496 ko | Curves/Montgomery/XZProofs.vo                                                                                 
  0m33.99s | 2022104 ko | ExtractionOCaml/bedrock2_word_by_word_montgomery.ml                                                           
  0m33.43s | 2019884 ko | ExtractionOCaml/with_bedrock2_word_by_word_montgomery.ml                                                      

4m23.98s | 1622528 ko | Curves/EdwardsMontgomery.vo

I think we want the EdwardsMontgomery change but not the FlatToRiscv changes because they slow the build down.