pub fn check_layout(binary: &Binary) -> Result<(), String>
Check that the layout of the given binary is correct