Improve error message for missing #[sp(var_size)] : attempt to compute <...> wich would overflow

Currently, simple_parse ensures that it does not mistake static/dynamic sizes that it does not know about through the `static_assertions` crate. Unfortunately when a const assert fails, you get an ugly error message that is confusing at best :
```
attempt to compute `0_usize - 1_usize`, which would overflow
```

**This error can be fixed by annotating your dynamic fields with `#[sp(var_size)]`**

It would be nice to have an error that says :

1. Where the annotation is needed (which field of which struct/enum)
2. What needs to be added (the sp attribute above)

This might not be currently possible because of https://github.com/rust-lang/rust/issues/51999

まず simple_parse のサイズチェックの経路と static_assertions crate の使用箇所を追跡し、次に Rust issue #51999 を確認して、そこで言及されている診断上の制限を調べます。完了条件は、分かりにくい overflow 出力を、struct または enum のフィールドを特定し、可能な場合は #[sp(var_size)] を推奨するエラーに置き換えることです。

索引モデルが issue の本文から書いたものです。