Complete overhaul of the current propagation algorithm. Much more
effective now, also avoids infinite loops. XOR Gates now fully
supported!