The Mariners needed a 40-man spot, but losing Rhylan Thomas to the Astros gives Seattle’s latest depth decision a little extra bite.