Use patricia-tree library more #15818

Job	Run time
regression (macos-latest, ocaml-variants.4.14.2+options,ocaml-option-flambda)	16m 51s
regression (ubuntu-latest, ocaml-variants.4.14.2+options,ocaml-option-flambda)	7m 26s
extraction	0s
	24m 17s

Provide feedback