Implement ForwardAxiomSubsumption and move fixNodes to algorithm/compressor/package.scala

Relates to Issues #79 and #76