Constrained Decoding with Speculative Lookaheads