Added fix to factorial code + memlocations (#28)
Assembly, test code works now (closes #28)
All main logic verify working (closes #26, closes #27)