Text this: The parameterized space complexity of model-checking bounded variable first-order logic