Asserts the option is None.
Asserts the option is Some.
Asserts the option is Some and extracts the inner value as the new subject.