Refactored the address verification (again) in coprocessor state