Miami Dolphins DE Mario Williams is ‘almost certain’ to be released this offseason, a move that would save the team $8.5 million.