Design of highly active double-pseudoknotted ribozymes: a combined computational and experimental study