Added verification scenarios for bolt compilation.