Devon Witherspoon signs 4-year rookie contract with Seahawks after brief holdout