Further updates to Design

Design formatting. Pseudocode changes for interaction with analysis.
Test plan updates.