Support crates beyond libstd #114
Description
Verify-rust-std also has non-auto harnesses in alloc crate. We need to support that by including reachability analysis and source code.
Harness Name: collections::vec_deque::verify::check_vecdeque_swap
Verified Function: collections::vec_deque::vecdeque_swap
