With these changes, ImportVerilog can now convert unpacked arrays to simple bit vectors and pass this test.
Thanks for the correction and the idea 💯