This will succeed with sideCondVerifierOptions, as Copilot's BwShiftL operation should only accept second arguments as large as C's << operation does.