Make some tests more readable by separating setup/execution/verification with blank lines