Text this: FSM state-assignment for area, power and testability using non-deterministic evolutionary heuristics