feat(snapshot): prove promotion preserves unselected snapshot contents

refactor(layout): relocate proof guest and host build inputs