Solidity 0.8でもuint8変換は値を切り捨てる：縮小変換と演算の違い

uint256をuint8へ変換したときの切り捨てを、演算オーバーフローと区別します。255・256の境界、変換前の検査、演算前の拡張、bytes型との違いを検証します。