WVSPORTS.COM DeVries, Stone both to redshirt for West Virginia