Clara: A Framework for Partially Evaluating Finite-State Runtime Monitors Ahead of Time