Uphill Roads to Variational Tightness: Monotonicity and Monte Carlo Objectives