Refactor analysis to be instruction independent in preparation for ARM

[SamboyCoding]

This PR refactors out some base classes where possible so that IL generation code - which will be common regardless of instruction set - is defined in a top-level class.

The following classes are planned to be (or are) abstracted:

• Analysis itself
• Method calls
• Field reads
• Field Writes
• New object allocation
• Comparisons
• Conditional jumps
• Array allocations
• Array offset reads
• Array offset writes
• static field reads
• static field writes

The method analysis model is made to be instruction-independent via a generic parameter for the instruction type which is passed into actions, which share this parameter.

This work provides a foundation for other instruction sets - crucially, arm - to have analysis written.