Complete a working prototype for specialisation with incremental commit, without DSE for the time being.

Essentially all analysis is conducted and committed on the scale of individual functions, with mechanisms for patching up allocations, FDs, cross-function jumps etc after the fact.