feat(debug): Print ssa locations along with ssa

[jfecher]

Description

Problem*

Resolves #8983

Summary*

Prints the top (last) function in the callstack and the source line along with each SSA instruction to help finding where instructions originate from when printing larger files.

This requires we pass a FileManager when printing SSA now if you want the debug comments. For ease of debugging, you can still print SSA without this though and we just won't print out the source lines.

Additional Context

Before this PR (lambda_from_dynamic_if test):

After Dead Instruction Elimination - ACIR (1) (step 45):
acir(inline) impure fn main f0 {
  b0(v0: u32):
    v2 = eq v0, u32 0
    v3 = not v2
    v5 = eq v0, u32 1
    v6 = unchecked_mul v3, v5
    v7 = not v5 // src/main.nr:12
    v8 = unchecked_mul v3, v7
    v10 = make_array b"!"
    constrain u1 0 == v8, data v10, Field 0
    v13 = cast v6 as Field
    v15 = mul v13, Field 9
    enable_side_effects u1 1
    v17 = cast v2 as Field
    v18 = cast v3 as Field
    v20 = mul v17, Field 8
    v21 = mul v18, v15
    v22 = add v20, v21
    v23 = eq v22, Field 8
    v26 = make_array b"hi"
    enable_side_effects v23
    call f3(u1 1, v26)
    v28 = not v23
    v29 = eq v22, Field 9
    v30 = unchecked_mul v28, v29
    v34 = make_array b"bye"
    enable_side_effects v30
    ...

After this PR:

After Dead Instruction Elimination - ACIR (1) (step 45):
acir(inline) impure fn main f0 {
  b0(v0: u32):
    v2 = eq v0, u32 0                             	// src/main.nr:10
    v3 = not v2                                   	// src/main.nr:10
    v5 = eq v0, u32 1                             	// src/main.nr:12
    v6 = unchecked_mul v3, v5                     	// src/main.nr:12
    v7 = not v5                                   	// src/main.nr:12
    v8 = unchecked_mul v3, v7                     	// src/main.nr:12
    v10 = make_array b"!"                         	// src/main.nr:12
    constrain u1 0 == v8, data v10, Field 0       	// std/panic.nr:2
    v13 = cast v6 as Field
    v15 = mul v13, Field 9
    enable_side_effects u1 1
    v17 = cast v2 as Field
    v18 = cast v3 as Field
    v20 = mul v17, Field 8
    v21 = mul v18, v15
    v22 = add v20, v21
    v23 = eq v22, Field 8                         	// src/main.nr:17
    v26 = make_array b"hi"                        	// std/lib.nr:34
    enable_side_effects v23                       	// src/main.nr:17
    call f3(u1 1, v26)                            	// std/lib.nr:40
    v28 = not v23                                 	// src/main.nr:17
    v29 = eq v22, Field 9                         	// src/main.nr:17
    v30 = unchecked_mul v28, v29                  	// src/main.nr:17
    ...

So now the source file and line is given on the side in a comment after two tab characters. We can also clearly see how the value merger doesn't insert any locations for the instructions it inserts.

Documentation*

Check one:

• No documentation needed.
• Documentation included in this PR.
• [For Experimental Features] Documentation to be submitted in a separate PR.

PR Checklist*

• I have tested the changes locally.
• I have formatted the changes with Prettier and/or cargo fmt on default settings.

[jfecher]

Adjusted the padding to have a minimum length so the locations are aligned better now

[asterite]

Looks great!