Add tests for skool2ctl.py's handling of decimal addresses below 10000