Hoopshype is flawed as it doesn't include non-guaranteed deals. It also doesn't include VC's deal which is nonguaranteed, same with S.Williams. Anywho, if they cut them, they are still owed $ but it doesn't count as salary towards the cap, like amnestied players. I am 70% certain. Also, they could do a deal like Beaubois+D.Jones for a first or second rounder to save $3.5 million.
See for yourself:
Dallas Mavericks Team Salary | HOOPSWORLD | Basketball News & NBA Rumors
ShamSports.com: Dallas Mavericks salary information
(PS: hoopsworld > hoopshype; nbadraftexpress>nbadraft.net) Shamsports is pretty good too.