NDProofs: Fixes alignment errors and adds show/hide upper layers commands