Fix max length underflowing while estimating array length with <4 space left

[Nemo157]

Also, add a new CLI output option to make writing test cases easier; and a proptest test that found the error too.

fixes #113

[Nemo157]

bors r+

[bors[bot]]

Build succeeded:

• cargo build --target wasm32-unknown-unknown
• cargo build -z minimal-versions
• cargo clippy
• cargo fmt --check
• cargo test
• cargo test (stable, i686-pc-windows-msvc, windows-latest)
• cargo test (stable, i686-unknown-linux-gnu, ubuntu-latest)
• cargo test (stable, x86_64-apple-darwin, macos-latest)
• cargo test (stable, x86_64-pc-windows-msvc, windows-latest)
• cargo test (stable, x86_64-unknown-linux-gnu, ubuntu-latest)