high-level simulation function for sequential circuits
FIXED error on argument order of register, had to swap
using Circuit module parameterized
having troubles proving simple coinductive facts abour register