Fix max address in test-gen.py