Robert Quinn made near $10M for the 2019 season (with sack incentives included in that number) and finished the year with the following stats:
34 Tackles
11.5 sacks
3 PDef's
2 FF's
He counted on a productive year in order to earn one final big multi-year contract and he will get paid more than Dallas can probably afford given the likes of Prescott, Jones, Cooper, etc. that need re-signing. Personally I say make D. Lawrence give up some of his new contract to pay Quinn as Lawrence fleeced Jerry Jones with his 2019 performance.
As for the idea of releasing Tyrone Crawford, he carries with him a 2020 cap hit of $10.1M with $4.2M in dead money, a savings of $5.9M if traded or released. That money would only take care of probably 50% of what Quinn would be seeking annually. However, throw in the fact that Jason Witten will not be coming back (2019 cap hit of $4.25M) and Dallas should push Sean Lee into retirement so as to coach (2019 cap hit of $6.012M) and you could try and find money to retain him.
However, that still leaves what to do with Dak Prescott (franchise tag of 2020 QB projected to be $26.7M), Amari Cooper (UFA wanting at least $15M+ annually), and Byron Jones (UFA wanting at least $12M+ annually).