If I was the Leafs looking at JVR, this is what I'd be doing:
1. Try to sign him to a reasonable extension before the deadline (maximum 6Mx6)
2. If no extension can be done, tell the league he's available for the right price.
3. If nobody steps up to a Lucic/Ryan like return (1st + young roster player + prospect), possibly settle for something a little bit under that.
4. If nobody gives you what you're looking for, take him for one more playoff run, and see if you can sign him as a FA for a similar contract/let him go.
In regards to Bozak (just because):
1. Try to sign him to a 1-2 year deal, under $4M a season.
2. If not, make him available for the right price.
3. Look for a Hanzal return (1st + 2nd, + 4th + prospect)
4. When nobody will obviously pay that because that's ridiculous, look for a 1st+prospect.
5. (#4 JVR)
I'd be interested in recouping assets for both of these guys if we're not going to bring them back, but there's no NEED for us to do it. Take them on one more playoff run and let them go instead of selling them for something that makes us worse short term, and not much better long-term.