platin: pending development merge

I tried to verify that there are no regression wrt. graph constructions by running the visualizer over a ton of functions, so I'm going to sign off on this.