Hedges is the clear best option here, Contreras will do all the heavy lifting with the bat and Hedges can just do his thing. This is also probably a cost-effective option and if the team does decide to bring up Quero at some point, just DFA Hedges.
I think that Severino is a really interesting option personally, his fastball velocity is still good and I think that with a full offseason/spring training in our system, we could get a few good years out of him.