message: Update translator_tests.rs
  Fixed the failed test "test_access_path"
  By adding the test flag "--native-stubs" to generate the native function declarations to properly feed Boogie
  Closes:
  Approved by: DavidLDill
diff: @@ -42,7 +42,7 @@ fn test_aborts_if() {
  #[test]
  fn test_access_path() {
  test(
  - VERIFY,
  + &["--native-stubs"],
  &[
  &std_mvir("u64_util"),
  &std_mvir("address_util"),
  