(Seahorn) Use __VERIFIER_assume directly
(Seahorn) Use __VERIFIER_assume directly

project-oak/rust-verification-tools,project-oak/rust-verification-tools,project-oak/rust-verification-tools,project-oak/rust-verification-tools