Change verify() return type to match CMSIS

[adamgreig]

Per https://open-cmsis-pack.github.io/Open-CMSIS-Pack-Spec/main/html/algorithmFunc.html#Verify, the verify method should return a u32 where success is indicated by addr+size. I think probe-rs already gets this correct when using it, just the trait is wrong. It's a breaking change so we'd have to publish 0.7, along with the new blank_check.

[Yatekii]

Can we keep the Result on the trait and make it a Result<u32, u32> so we can keep Ok/Err semantics but still return the correct ok/error codes?

[adamgreig]

We could have it be Result<(), u32>, where the error code is the location of the failure and must not be equal to address+size, and then have the C wrapper convert Ok to addr+size? But it won't niche optimise unlike the others (which are Result<(), NonZeroU32>), and can't be NonZero since 0 is a valid error location (if the first byte doesn't match), so we can't use the ErrorCode type alias either.

[adamgreig]

I've updated to use Result<(), u32> and have the wrapper turn Ok(()) into addr + size.

[Yatekii]

Thanks!