The length of the Python lists can be dynamically checked based on the test-case input. Could throw an error if user attempts to generate Verilog with array inputs without a test-case.
Avoiding lists altogether and instead supporting numpy arrays instead could also be a good idea. Forces user to treat them as static arrays.
Before taking ticket, consider when static sized arrays are useful in generator functions.