Text this: Design of Fixed Points in Boolean Networks Using Feedback Vertex Sets and Model Reduction