Added verification to simulation step to check whether the number of tokens prodcued by a node matches with the corresponding production rates.
Added verification to simulation step to check whether the number of tokens prodcued by a node matches with the corresponding production rates.

rinsewester/SDFkit,rinsewester/SDFkit