Macro vpanic

macro_rules! vpanic {
    ($fmt:expr $(,$val:expr)*) => { ... };
    () => { ... };
}

Replace panic macro with vpanic when needed. panic!{} may call panic_fmt with private rt::Argument, which could not be supported in verus.