OneSpin Puts Verification on the Move with New PortableCoverage Solution