Removes wrongly ported line (why did I write assert!(false)?)
Removes wrongly ported line (why did I write assert!(false)?)

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