Consider dropping the single range proof

[kayabaNerve]

It's technically a maintenance burden, and audit size increase, with no practical benefit (it may be slightly more performant than the aggregate range proof?).