fix: Restore serialization of is_in pushdown#1

erandagan wants to merge 2 commits into

mainerandagan/polars:mainfrom

claude/address-pr-review-feedback-CBOuHerandagan/polars:claude/address-pr-review-feedback-CBOuHCopy head branch name to clipboard