[ elab ] Change quantity of the `search` function's argument to `0`

[buzden]

Description

Or else we are unable to work with types that contain zeroin inside

Should this change go in the CHANGELOG?

• [x] If this is a fix, user-facing change, a compiler change, or a new paper implementation, I have updated CHANGELOG_NEXT.md (and potentially also CONTRIBUTORS.md).