Generate inlay hints in proof.json to display proof context

[Lysxia]

Also a whole bunch of noise because I'm too lazy to cherry-pick this history