Swampland Constraints And Non-Perturbative String Theory: Towards The Boundaries Of Moduli Space In M- And F-Theory