adds functionality for circuit levelization and modifies integration tests
adds random xor insertion; add integration tests; does not handle latches properly