feat(corelib): OptionTrait::is_none_or

[julio4]

Returns true if the Option is Option::None or the value inside of it matches a
predicate.

Examples

assert_eq!(Option::Some(2_u8).is_none_or(|x| x > 1), true);
assert_eq!(Option::Some(0_u8).is_none_or(|x| x > 1), false);

let option: Option<u8> = Option::None;
assert_eq!(option.is_none_or(|x| x > 1), true);

[reviewable-StarkWare]

This change is 

[orizi]

Reviewed 2 of 2 files at r1, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @julio4)

---

a discussion (no related file):
@gilbens-starkware @TomerStarkware for 2nd eye

[orizi]

Reviewable status: all files reviewed, 1 unresolved discussion (waiting on @julio4)

---

corelib/src/option.cairo line 225 at r1 (raw file):

    /// ```
    #[must_use]
    fn is_none_or<F, +Drop<F>, impl func: core::ops::FnOnce<F, (T,)>[Output: bool]>(

Suggestion:

    fn is_none_or<F, +Drop<F>, +core::ops::FnOnce<F, (T,)>[Output: bool]>(

[julio4]

Reviewable status: 1 of 2 files reviewed, 1 unresolved discussion (waiting on @orizi)

---

corelib/src/option.cairo line 225 at r1 (raw file):

    /// ```
    #[must_use]
    fn is_none_or<F, +Drop<F>, impl func: core::ops::FnOnce<F, (T,)>[Output: bool]>(

Done.

[orizi]

Reviewed 1 of 1 files at r2, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @julio4)

[TomerStarkware]

Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @julio4)