Fix max frame size

## Problem

Per the message format specification, the frame size is an unsigned 32-bit integer. No other limits are set on this value. As such, the max frame size is `2^32 - 1`, not `2^31 - 1` as currently defined. It looks like this snuck in as an implementation detail from the Java client, where the frame size is limited by `MAX_INT`.

## Solution

Fix the defined value to be `2^32 - 1` and add tests that verify that frames of size `2^31 - 1 < frame_size <= 2^32 - 1` work correctly.

まず、定義されている最大フレームサイズと、フレームのエンコード、デコード、または検証を対象とするテストを見つけます。現在の境界動作を確認してから、値を更新し、2^31 - 1 より大きく 2^32 - 1 以下のサイズを対象とするカバレッジを追加します。これらのフレームが正しく動作し、既存のテストがすべて成功すれば完了です。

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