Preview the July 12 matchup between the Cincinnati Reds and Miami Marlins with odds over/under, game spread, betting lines and more.