セグ木を検証する

## Why

ひとまず [AtCoder Library](https://github.com/atcoder/ac-library) のセグ木を移植してみたものの，
正直配列を用いたセグ木の実装ってめっちゃ正当性が非自明な気がする

## What

ヴァリアントを用いたセグ木の実装と，配列を用いたセグ木の実装が対応することを検証したい．