An Efficient Implementation of Reactivity for Modeling Hardware in the Scenic Design Environment