Experiment with Allowing Type Inference to Instantiate Summary Signatures of Callees into Constraints

[2over12]

This would allow for more precise inference and attack https://github.com/trailofbits/BTIGhidra/issues/19 by including the structure of the callee into the caller FSA inference.

[2over12]

This costs performance but would allow more precise inference by not relying on the inferred structure of the callee alone.