Use is_{none, some}() rather than if let Some(_) and if let None.
Use is_{none, some}() rather than if let Some(_) and if let None.

project-oak/hafnium-verification,project-oak/hafnium-verification,project-oak/hafnium-verification,project-oak/hafnium-verification,project-oak/hafnium-verification,project-oak/hafnium-verification,project-oak/hafnium-verification