up to two in 0.15s
add README
found the example: (a XOR b XOR c) has a two-step minimal circuit