Add more blif tests

This batch of tests demonstrate more sophisticated combinational
logic inference from sequential code.