Enforcing and testing move ctor