Compactness bounds in General Relativity