feat: add Option.take() for swapping with None

[ss2165]

Example use case: measure without changing array indexing

@guppy
def measure_option(ar: array[Option[qubit], N], index: int) -> bool:
    return measure(ar[index].take().unwrap())

[codecov-commenter]

Codecov Report

Attention: Patch coverage is 57.14286% with 3 lines in your changes missing coverage. Please review.

Project coverage is 93.06%. Comparing base (622900f) to head (f5e45f5).

Files with missing lines	Patch %	Lines
guppylang/std/option.py	57.14%	3 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #809      +/-   ##
==========================================
- Coverage   93.09%   93.06%   -0.04%     
==========================================
  Files          71       71              
  Lines        8478     8484       +6     
==========================================
+ Hits         7893     7896       +3     
- Misses        585      588       +3     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[qartik]

Just a side comment, what was the rationale behind using nothing in Guppy's option type as opposed to None?

[ss2165]

what was the rationale behind using nothing in Guppy's option type as opposed to None?

to avoid confusion with python's None which works quite differently due to how python Unions work dynamically.

Guppy uses None in type signatures to indicate void return