- Tests for read_verilog (cover frontends/ast);
- Add tests for read_ilang (new options);