Address range fixes in mimasim and mimasm