Prove correctness of layout len utilities with kani#402

joshlf merged 1 commit intomaingoogle/zerocopy:mainfrom

kani-layout-utilsgoogle/zerocopy:kani-layout-utilsCopy head branch name to clipboard