Add optimality note: exhaustive enumeration confirms magnitude 7 is minimum

Add threshold-demux: 1:2 demultiplexer

initial commit