Computational topology and normal surfaces: Theoretical and experimental complexity bounds.