Text this: Lowerbounds for Bisimulation by Partition Refinement