If our circuit in logisim uses several smaller circuits, should we include screenshots of the smaller circuits also
Yes. If it is a recursive design where all levels are identical (up to the bit-width) then include only the topmost level and the base case.